as quatro operações com prova real